The aim of this work is twofold. First, we survey the techniques developed in Perthame and Zubelli (Inverse Probl 23(3):1037–1052, 2007 ), Doumic et al. (Inverse Probl 25, 2009 ) to reconstruct the division (birth) rate from the cell volume distribution data in certain structured population structured population models. Secondly, we implement such techniques on experimental cell volume distributions available in the literature so as to validate the theoretical and numerical results. As a proof of concept, we use the experimental (...) data experimental data reported in the classical work of Kubitschek (Biophys J 9(6):792–809, 1969 ) concerning Escherichia coli in vitro experiments measured by means of a Coulter transducer-multichannel analyzer system (Coulter Electronics, Inc., Hialeah, FL, USA). Despite the rather old measurement technology, the reconstructed division rates still display potentially useful biological features. (shrink)

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...) axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is ᵎ x ᵎ for some set ᵎ) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares. (shrink)

But there is a danger of moving too fast--of wishing to talk about the relation of the world to God without first getting a sound metaphysics of the being of experience. Those who wish to begin metaphysics with the existence of God, or to consider the whole of metaphysics as theology, are, it seems to me, involved in a circular process: being is known through knowing God, and God is known only as the cause of being.